$\forall$$a$:\{$\ldots\,$0\}, $b$:\{$\ldots\,${-}1\}. ($a$ $\div$ $b$) = (({-}$a$) $\div$ ({-}$b$))